<?php
function show(&$view) {

echo <<<END
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
	<title>IndexPort</title>
	<meta name="keywords" content=""/>
	<meta name="description" content=""/>
END;

echo '<link media="all" type="text/css" rel="stylesheet" href="'.view($view, 'css').'"/>';

echo <<<END
</head>
<body>
<div>
END;

echo '<dl>';
foreach (view($view, 'shortcuts') as $shortcut) {
	echo '<a href="'.shortcut_url($shortcut).'" target=_blank">';
	echo '<dt>';
	echo '<img src="'.shortcut_icon($shortcut).'" alt="'.shortcut_alt($shortcut).'" />';
	echo '</dt>';
	echo '<dd>';
	echo '<strong>'.shortcut_name($shortcut).'</strong>';
	echo '</dd>';
}
echo '</dl>';

echo <<<END
</div>
</body>
</html>
END;
}
